PLiMoS, a DSML to Reify Semantics Relationships: An Application to Model-Based Product Lines

In the Model-Based Product Line Engineering (MBPLE) context, modularization and separation of concerns have been introduced to master the inherent complexity of current developments. With the aim to exploit e ciently the variabilities and commonalities in MBPLs, the challenge of management of dependencies becomes essential (e.g. hierarchical and variability decomposition, inter-dependencies between models). However, one may observe that, in existing approaches, relational information (i) is mixed with other concerns, and (ii) lacks semantics and abstraction level identi cation. To tackle this issue, we make explicit the relationships and their semantics, and separate the relational concern into a Domain Speci c Modeling Language (DSML) called PLiMoS. Relationships are treated as rst-class entities and quali ed by operational semantics properties, organized into viewpoints to address distinct objectives, e.g. product derivation, variability consistency management, archi- tectural organization. This paper provides a description of the PLiMoS relationships de nition and its implementation in a model-based product line process using two variability languages: Feature Model and OVM. The independence with variability and core assets modeling languages provides bene ts to cope with the product line maintenance

Domain-specific modelling applied to inteegration of smart sensors into an information system

International audience(Kopetz, 1997) stated that a trend in the sensor technology is the development of intelligent sensors also called smart sensors. The development of such sensors do not only rely on the hardware development but also on the software. The later should so meet the requirements on low costs and of quality. This paper presents our approach to model the software of a smart sensor and to generate the code for the embedded real-time application. It will also describe how the use of a domain-specific modelling methodology enabled us to achieve a high level of modularity which will permit to save costs and development time

Model Federation in toolchains

In this paper we introduce the toolchain topic as a federation of models based on an abstraction of dif ferents tool definitions. We consider the toolchain in the context of embedded systems, in particular the co-design which implies a co-engineering approach with many tools. Our main goal is to define a tool integration model to carry out an abstraction of several data formats and for a do main model as a reference vocabulary. This model gathers the concepts for managing the development process artif acts and the roles attributed to these artifacts over th e process. We have experimented this approach during the europ een ARTEMIS iFEST project over the OSLC layer (Open Services for Lifecycle Collaboration)

Une modélisation de la variabilité multidimensionnelle pour une évolution incrémentale des lignes de produits

Le doctorat s'inscrit dans le cadre d'une bourse CIFRE et d'un partenariat entre l'ENSTA Bretagne, l'IRISA et Thales Air Systems. Les préoccupations de ce dernier, et plus particulièrement de l'équipe de rattachement, sont de réaliser des systèmes à logiciels prépondérants embarqués. La complexité de ces systèmes et les besoins de compétitivité associés font émerger la notion de "Model-Based Product Lines(MBPLs)". Celles-ci tendent à réaliser une synergie de l'abstraction de l'Ingénierie Dirigée par les Modèles (IDM) et de la capacité de gestion de la capitalisation et réutilisation des Lignes de Produits (LdPs). La nature irrévocablement dynamique des systèmes réels induit une évolution permanente des LdPs afin de répondre aux nouvelles exigences des clients et pour refléter les changements des artefacts internes de la LdP. L'objectif de cette thèse est unique, maîtriser des incréments d'évolution d'une ligne de produits de systèmes complexes, les contributions pour y parvenir sont duales. La thèse est que 1) une variabilité multidimensionnelle ainsi qu'une modélisation relationnelle est requise dans le cadre de lignes de produits de systèmes complexes pour en améliorer la compréhension et en faciliter l'évolution (proposition d'un cadre générique de décomposition de la modélisation et d'un langage (DSML) nommé PLiMoS, dédié à l'expression relationnelle et intentionnelle dans les MBPLs), et que 2) les efforts de spécialisation lors de la dérivation d'un produit ainsi que l'évolution de la LdP doivent être guidé par une architecture conceptuelle (introduction de motifs architecturaux autour de PLiMoS et du patron ABCDE) et capitalisés dans un processus outillé semi-automatisé d'évolution incrémentale des lignes de produits par extension.The PhD (CIFRE fundings) was supported by a partnership between three actors: ENSTA Bretagne, IRISA and Thales Air Systems. The latter's concerns, and more precisely the ones from the affiliation team, are to build embedded software-intensive systems. The complexity of these systems, combined to the need of competitivity, reveal the notion of Model-Based Product Lines (MBPLs). They make a synergy of the capabilities of modeling and product line approaches, and enable more efficient solutions for modularization with the distinction of abstraction levels and separation of concerns. Besides, the dynamic nature of real-world systems induces that product line models need to evolve continually to meet new customer requirements and to reflect changes in product line artifacts. The aim of the thesis is to handle the increments of evolution of complex systems product lines, the contributions to achieve it are twofolds. The thesis claims that i) a multidimensional variability and a relational modeling are required within a complex system product line in order to enhance comprehension and ease the PL evolution (Conceptual model modularization framework and PliMoS Domain Specific Modeling Language proposition; the language is dedicated to relational and intentional expressions in MBPLs), and that ii) specialization efforts during product derivation have to be guided by a conceptual architecture (architectural patterns on top of PLiMoS, e.g.~ABCDE) and capitalized within a semi-automatic tooled process allowing the incremental PL evolution by extension.RENNES1-Bibl. électronique (352382106) / SudocSudocFranceF

A Tool-Supported Approach for Concurrent Execution of Heterogeneous Models

International audienceIn the software and systems modeling community, research on domain-specific modeling languages (DSMLs) is focused on providing technologies for developing languages and tools that allow domain experts to develop system solutions efficiently. Unfortunately, the current lack of support for explicitly relating concepts expressed in different DSMLs makes it very difficult for software and system engineers to reason about information spread across models describing different system aspects [4]. As a particular challenge, we investigate in this paper relationships between, possibly heterogeneous, behavioral models to support their concurrent execution. This is achieved by following a modular executable metamodeling approach for behavioral semantics understanding, reuse, variability and composability [5]. This approach supports an explicit model of concurrency (MoCC) [6] and domain-specific actions (DSA) [10] with a well-defined protocol between them (incl., mapping, feedback and callback) reified through explicit domain-specific events (DSE) [12]. The protocol is then used to infer a relevant behavioral language interface for specifying coordination patterns to be applied on conforming executable models [17]. All the tooling of the approach is gathered in the GEMOC studio, and outlined in the next section. Currently, the approach is experienced on a systems engineering language provided by Thales, named Capella 7. The goal and current state of the case study are exposed in this paper. 7 Cf. https://www.polarsys.org/capella

Model-driven Engineering Metrics for Real Time Systems

International audienceAs with other software development processes, model-driven engineering of real time software systems include quality assurance and measurement. Model-driven engineering (MDE) supports the development of real-time software systems by means of a set of languages, processes, methods and tools. To measure the models, a dedicated measurement software has to be developed, which is costly. In this paper, we propose a framework to concisely define and automatically implement an open-ended family of metrics for real-time software systems. The overall contribution of this approach is to give an instant, reliable and low cost implementation of model metrics seamlessly integrated into modeling tool

Towards a Meta-Language for the Concurrency Concern in DSLs

International audienceAbstract—Concurrency is of primary interest in the development of complex software-intensive systems, as well as thedeployment on modern platforms. Furthermore, Domain-Specific Languages (DSLs) are increasingly used in industrial processes toseparate and abstract the various concerns of complex systems.However, reifying the definition of the DSL concurrency remainsa challenge. This not only prevents leveraging the concurrencyconcern of a particular domain or platform, but it also hinders:a) the development of a complete understanding of the DSLsemantics; b) the effectiveness of concurrency-aware analysistechniques; c) the analysis of the deployment on parallelarchitectures. In this paper, we present M oCCML, a dedicatedmeta-language for formally specifying the concurrency concernwithin the definition of a DSL. The concurrency constraintscan reflect the knowledge in a particular domain, but also theconstraints of a particular platform. MoCCML comes with acomplete language workbench to help a DSL designer in thedefinition of the concurrency directly within the concepts of theDSL itself, and a generic workbench to simulate and analyzeany model conforming to this DSL. Mo CCML is illustrated onthe definition of an lightweight extension of SDF (SynchronousData Flow)

Relationships in Variability Modeling Approaches: A Survey and Classification

International audienceThe Product Line Engineering (PLE) promotes reuse as intent to face new system development constraints like: increasing product quality, time-to-market enhancement, and production costs reduction. The modeling and management of variability and commonalities is central to the PLE and several techniques have been defined to cope with this issue. Modularization and Separation of Concerns (SoC) have been used as an effective solution to tackle the growing complexity of product lines. However, neither consensus about relational information expression, nor categories of relationships, has been defined. In this paper, we propose to consider the existing variability modeling approaches in the literature and provide a survey of the ones concerned with the explicit management of relationships. These approaches are classified by variability techniques and concerns to reveal categories of relationship concerns. A closing discussion highlights some observations on the survey to reveal research perspectives

Model Federation based on Role Modeling

International audienceModeling approaches could be a powerful solution for specification, design and analysis. At a system level, models must take into account many system concerns. Thus, several system modeling approaches are based on several viewpoints expressed in Domain Specific Modeling Languages. Cyber threat analysis takes place within this modeling context with the need for several DSMLs to address several viewpoints of the system. So, the analysis of this domain is supported by DSML interoperability to perform simulation or other algorithms. Therefore, in this paper, we present an approach to face DSML interoperability based on role modeling. The Role4All framework is based on a metamodel including the Role concept. The Role4All language provides the capacity to define shared semantics between the DSMLs. Role4All and role modeling avoid model transformations and promote a federation approach between several DSMLs. The federation mechanisms of Role4All are illustrated in the cyber threat modeling f ramework to emphasize information gathering and the updates of the role model

Modélisation de l'étude de cas avec MARTE

Les systèmes embarqués rendent un nombre de services grandissant et font partie de notre vie quotidienne : ascenseurs, transports, téléphonie, médecine énergie, industrie, etc. Ainsi, si l'on parle de plus en plus de systèmes embarqués, il s'agit avant tout d'un ensemble complet et intégré (matériel + logiciel). Le point central de leur développement est leur interaction avec leur environnement et les conséquences associées en termes de sécurité et de fiabilité. Cet ouvrage dresse un état de l'art du développement des systèmes embarqués. Il s'agit d'opérations cruciales qui détermineront la fiabilité du futur système. L'apparation récente des techniques basées sur l'ingénierie des modèles pourrait révolutionner le développement de ces systèmes en assurant une continuité entre le niveau conceptuel et l'implémentation de la partie logicielle. L'ouvrage expose trois approches parmi les plus utilisées : SysML (aspects ingénierie système), UML/MARTE et AADL (conception/analyse). Au chapitre 8 est présentée la modélisation de l'étude de cas du régulateur cardiaque (pacemaker) avec la notation UML-MARTE. Les principes MARTE ayant été donnés au chapitre précédent, nous les considérons comme compris par le lecteur de ce chapitre